Process Algebra Under the Light of Wolfram's NKS
نویسندگان
چکیده
منابع مشابه
Process Algebra Under the Light of Wolfram's NKS
The strong intellectual investment behind the definition of process algebras and the high abstraction level they can attain in formal specification still contrasts with their degree of penetration into software engineering practice, but also with the relatively limited number of other fields of fundamental science where these models have played some role. An emerging area in which process algeb...
متن کاملromantic education:reading william wordsworths the prelude in the light of the history of ideas
عصر روشنگری زمان شکل گیری ایده های مدرن تربیتی- آموزشی بود اما تاکید بیش از اندازه ی دوشاخه مهم فلسفی زمان یعنی عقل گرایی و حس گرایی بر دقت و وضوح، انسان عصر روشنگری را نسبت به دیگر تواناییهایش نابینا کرده و موجب به وجود آمدن افرادی تک بعدی شد که افتخارعقلانیتشان، تاکید شان بر تجربه فردی، به مبارزه طلبیدن منطق نیاکانشان وافسون زدایی شان از دنیا وتمام آنچه با حواس پنجگانه قابل درک نبوده و یا در ...
gradual erasure of subjectivity: a study of samuel beckett’s trilogy in the light of postmodernism
ساموئل بکت بیشتر از هر نویسنده دیگری در نیم? دوم قرن بیستم با گفتارش زمان? ما را به آستان? از هم پاشیدگی کشانده است، آستانه ای که در آن مدرنیته با سرانجام گریزان اما غیرقابل اجتناب خود مواجه می شود. در این تحقیق روی مفهوم فردیت و محو آن در دوران پسامدرن تاکید شده و در طی آن سعی شده است که فردیت مدرن و پسامدرن در رمان های سه گانه بکت بررسی گردد. تحقیق حاضر یک بررسی کتابخانه ای و کیفی بر روی سه ر...
15 صفحه اولinvestigation of effective parameters on the rigidity of light composite diaphragms (psscb) by fem
در این رساله با معرفی سقف های psscb متشکل از ترکیب ورق های فولادی ذوزنقه ای و تخته های سیمانی الیافی به عنوان سقف های پیش ساخته (سازگار با سیستم سازه ای قاب های فولادی سبک) به بررسی پارامترهای موثر بر صلبیت سقف، پرداخته می شود. در تحقیق حاضر ابتدا به مدل سازی دو نمونه سقف آزمایش شده، به روش اجزاء محدود با استفاده از نرم افزار تحلیلی abaqus ver 6.10 پرداخته شده است. نمونه های ساخته شده تحت اعما...
the effect of keeping reflective journals by language instructors on the process of reading comprehension among iranian high school students
خواندن ودرک مطلب از مهمترین مهارتها در یادگیری زبان خارجی محسوب می شود. این تحقیق تاثیر برگه های تامل برانگیز هدایت شده را در ارتقاع مهارت خواندن ودر ک مطلب در دانش اموزان دبیرستانی ایرانی بررسی می نماید. ازمجموع ?2 دانش آموز سال چهارم دبیرستان شهید رجایی شهرستان اسلامشهر¸ پس از اجرای آزمون استاندارد ((nelson 150a تعداد 39 دانش آموز که نمرات آنها یک سطح انحراف معیار بالاتر یا پایین تر ازمعدل قر...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2006
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2005.12.106